// PROBLEM: none
// WITH_STDLIB
fun test(map: Map<Int, String>) {
    val s = map.getValue(1)!!<caret>
}